premisses

not defined yet