axiom randomized F-F+ etc