This text is based on related reading about formal proofs in combinatroics.