With ultimate preconditions