Include assertions