About

Mad Dr. McCarthy has been capturing variables and turning them to his evil purposes. You need to eliminate the captured variables by swapping adjacent symbols and β-reducing them away! But watch out or he'll capture your variables.