[CG] Laws of form