A | pr
C | pr
	B | as
	C ^ B | ^i 2, 3
B->C^B | ->i 3, 4