Johnson.sats