Convert to karma and assert().