Johansson , dä han sökte professur i Lund : " Han är mycket styf i den formela logiken ".