Add ITP/1_7_{A,B,C}