» aj:1S proposition,