Progress in proving circuit properties section