A blog about systems and statements
agi
agi