asserted library