Title: On the logic of variable rules