F log:includes G; log:notIncludes H.
?doc log:semantics ?F.
crypto:signature
Tim Berners-Lee
48 of 52