Aiger vs Phi!