We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. They are decomposed until they can be represented as fluents. Animations are specified in terms of fluents and driven by behaviour models. Categories and Subject Descriptors D.2.1 [Software Engineering]: Requirements/Specifications ? elicitation methods, tools. General Terms Design, Experimentation, Human Factors Keywords Requirements, Design, Validation, Animation, Modelling