added non det init
merged; works with 3.0.3, latest
now on 31