j/logic: implemented 'given' dyad.