lab2 4.3.1: single A,B instances