A WJE Case Study: Sprinkler Test