@PrimeNumber : Logic versions added with some theory base added in descriptions.