Long Term Logic