LF to Hyb: towards left totality (sortof)
LF to Hyb: towards left totality -- things get wacky