Little instructions review, but all has to be synthesized