superjustification

not defined yet