Making dynamic logic much smarter with name pairing logic