use seq, not list
use unicode ⇒ instead of =>
hidden properties