Weak keys has been improved

A formal notation of what an undesirable property has been added along
with better descriptions