Collected IMP Snippets