proposition five_5.3