Det börjar med följande satser: