Compliant works
Simulation with two policies works