Before. It was clearly circular since the identity was assumed, the calc prof might have acknowledged this at the time.