english translations of categories - propositions added