LGHS Logic