Making classes provable through contracts (0)

by B SCHOELLER