Kremer's test cases