Rineke Verbrugge University of Groningen, the Netherlands Journal Argument & Computation ISSN: 19462166 Read Online Journal Computability ISSN: 22113568 Read Online