Problem H is constructive and cannot be automatically verified.