Some fixes & initial reduce explanation