bifcontains syntax quotation