fancy assertion