Han är alltså i dennamening