valid, expr and eval