Made prob83 more readable