Definitionist view 1