Software engineering tools currently available on the market are focused on solution design rather than on problem description. So-called requirement engineering (RE) tools enable companies to manage their requirements only once they got them out. But poor requirements, even well managed, will cause projects to fail. The presentation shows how CEDITI engineers proceed to produce requirements documents with GRAIL, a tool designed by RE practitioners for RE practitioners to enable them to do real requirements engineering. The tool relies on KAOS, the goal-driven requirements methodology. KAOS (Dardenne et al., 1993) advocates for modelling problems in the same flavor as engineers build models to describe solutions but with an appropriate ontology and notation.