finished "schema theorem" post