Sats are a token. Written by S. Tominaga