ID { abstract boolean isOne();    }
@Test public void testIsOne() { assertFalse(zero.isOne()); assertTrue(one.isOne()); assertFalse(zeroZero.isOne()); assertFalse(zeroOne.isOne()); assertFalse(oneZero.isOne()); assertFalse(oneOne.isOne()); }