The justices offer opposing views on whether “and” means “or” in the federal First Step Act.