Hammer Logic view 2