~~p : t- irmrfv