initial assert implementation