Better syntax in isClosedw