New on CTAN: propositions