symbolics now (1)