Log script/proof logic