bill aspect of ibis, 1 assertions