Significant loophole-free test of Kochen-Specker contextuality using two species of atomic ions | Publicación