[Cel] site on formal logic