explicit form of LHS