at issue lists the alternative

by which a defendant can commit the crime ("e.g.," burgling a "building" or a "boat") and (2) the "charging documents" make clear that the state alleged (and the jury or trial judge necessarily found) only an alternative that matches the federal version of the crime.