FinalFormal2 comments on The Hard Problem of Magic