Majus proposition att —under