RT @bhudgeons: New Jira wontfix reason: problem is undecidable.