Update basics.sats