Completed assertions for existing packages