Logic Summary.pdf