Nondeterministic Mechanics | EKB DL