Smyths.sats