P
Initializing...
General = particular + homogeneous · Prove2Me