Title: Logic in High Definition