Non-distributive predicates like 'heavy' fail when transferred: atoms aren't heavy, but tables are. ...
This proposition has not been edited since the history system was added.