added "has" assert