Allow inference of Rule0