Formal Green Rhinoceros