should this assert "instatiated"?
should this be virtual?
doc purpose.
what if not a complete result? What if only one LP in the IP?