proofs are already provided. BAN hammer ffs