OnceAnd ForAll (OAFA)