» oj:lS proposition.