1-alternation sequents are now basic