formal(half-c).html