Added short-circuit seq style subchapter under seq
Minor corrections on the Short circuit seq