start with symbolic time