Reorder pre-conditions