But what if the bots figure out beta-reduction!?