ParentFull threadqazxcvbnm·You're right, it's not the same. Undecidable properties are not related in general.View on HN