prologising

not defined yet