Make verify() follow the specs and return null