Prove $IBG is the #fartcoin of $BONK!