Boolean Procedure (1980) — The Ratist