tape assertion descriptions