Added speclj for assertions.