At this point it feels more difficult to ensure that your format cannot compute than to ensure it can