- mix: fold a Sys
- don't use 'Set', but record state relations separately