200613 Short Circuit2 by Coq Freisenberger