provable_defense