completing STLC ...