The MRS Dictionary

So. up to a point, does (achi.v. ( Note that propositions stashed in theories other than the currently writeable one are not affected. It is the user's responsibility to ensure that there are never two or more theories active which use different representations for the same proposition.)