assert from assert