Assertions library integration