corrections to skolem inverse; bug in negateContra
corrections to skolem inverse; bug in negateContra

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround