Bankq·vor 7 Monaten·discussThe approach reminds me of NP-Completeness (Computational harness vs mathematical-proving hardness). Am I over-simplifying?