half-bol identity