Some solutions for Logic
Some of ProofObjects
A little of MoreInd