Formal Alternative Offroad