: Add assert and tests.