Created by: SchrodingersGat
Rule F7.3 was returning True for no-errors (it should have been returning False)