proper statements