Precondition added