rnot 4 * /,