Verification & solution generation are both part of problem generation & defining the passing test - judgement.