Prop
prop_a_eq_a
propagating
Propagation
prop_eq_bin_lids
proper
Proper
properly
properness
Properness
