done with discussion 10, kinda understood the Logic language