demipremiss

not defined yet