Reordered assertions for efficiency.