; p | t (ioii