Comment by GodelNumbering

The code itself is the most compact representation of the rules you want applied.