BAK on 'propositions'