its good for difficult problems, bad for design and code gen