Lifted Logic HOU