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