More elegant precondition