Main
half subtractor from universal gates