prove order is unimportant