Is the conditional here more clear if the positive case is first?