#logic #cmu