>>[...] Nothing in a
>>proposition should ever be hidden from the user. Propositions come
>>from outside of the logical layer after all. If an attribute is an
>>identifier then it clearly impacts on identifying items in the real
>>world.