The interview goes into how this ties into formal reasoning towards the latter half.