Situation: redhat is a linux distribution