Togo #C184 EPL Proof Symbols [YTPA189]