Butcher.sats