Definition:Free Occurrence