On Problem Specification and Self-Referential Claims