proving (102.277)