dumped in logical relation