nonabjurer
not defined yet