See previous day. *** Talk about co-inductive and transfinite structures