What Does Formally Mean