refutal
not defined yet