designing and testing with Twelve