ALGOLIC logic!