Dagon comments on Logical Proof for the Emergence and Substrate Independence of Sentience