Cap A simple Certificator Aiming at Pen's correctness. For short, CAP. ##Contributors Steve "desire2020" Lu from Sui Group