Big cheese beat restriction, having discovered tax not applicable (3,6)

I haven't cracked this one yet — but the brilliant team at Fifteensquared have:

Top(=beat) + ban(=restriction) + [t]a[x](=tax dis-covered) + n{ot} a{pplicable}(common abbrev used in forms etc)