[Logic] 1st commit