fixed instructions
added the `nest` procedure
merged