Removed mention of reflexivity as a flaw, since it's confused by mutability in all cases