discretization, implementation