Geometry of four dimensions