Ideal, First-kind Measurements in a Proposition-state Structure