Implies: conditional demands