Up to rule B7