public abstract void Check(Criterion criterion);
public override void Check(Criterion criterion) { throw new System.NotImplementedException(); }