Ingångsspråket till den egentliga betraktelsen: