ExtHunt
PX => REM; REM => PX · ExtHunt