fun not()