Added more proofiness to 3b