Stuart_Armstrong comments on Higher than the most high