Better question separation in beginning-how-to-prove-it