Lifted Logic FINS