premise

not defined yet