-- stratum 0 requesting
lace_may_request(Record) :- Advertised(Record), not Have(Record).
-- stratum 1 advertising
lace_may_send(Record) :- Have(Record).
