Result := tvl_and[A, B];