work with assertions only