LamLF basics minus equiv