This worked, but was bad style...           here we use a flag (called witness)