Fixed variable ordering