assert function family