Laying out some more basic tests for Seshat...