The If-Then-Else Section Type