simplified domain of hasBegin