Transformation techniques can make students excited about formal methods