Add assertions