Впрочем Юдковский (или его переводчики, может быть, оригинал не читал) кажется вообще любит типа юморнуть так что непонятно где и над чем смеяться.