Even if the users agree that what the implementations do is more useful than what the specification demands they do?