The idea Dimensions Specification Engineering Proof Methodology