A video about CA Geometry: deductive reasoning