premiss

not defined yet