testsuite:strictcontent:theoryofsets:start