Viliam comments on My problems with Formal Friendly Artificial Intelligence work