working through the btc proofs