#63: NoDef rule