Algebras are geometric facts which are proved.