add virtual specifier
add help combinator