proposition five_5.3.1.1