In previous talks I have explained the motivation behind our work within AKT on formal methods applied at a high level to KBS lifecycles. We have been working on a calculus for describing lifecycle stages at a high level of abstraction but have now turned our attention to ways of grounding our theory in tools which might be of use. No such tools exist so we have to invent them. I shall describe our very first steps in building this sort of tool, re-using the rewrite-based shell provided by the HANSEL system. A demo will be given.