LF Theory