Credit cards, computationele complexiteit en consistentie uitspraken Joost J. Joosten Abstract: Er bestaat een opps <=> Er bestaat een facop