I'm really getting into @devilscalc now. The binary operation levels feel a lot more tractable than the unary ones.