A blog about systems and statements
expression
expression