failproof assertions, pro