Gazelle: Applied Rules