Hvad Wikner är ur formeltakademisk