LHS does not like "#+" :-(