Dynamics for Stepper Filter of Hazel This is formalization of rules of stepper and filter of the Hazel editor