High Level Logic