Universally quantified conditionals used in lifted relaxed expansion.