premisal

not defined yet