Coin flip working for STRIPS.