Original DO_PLAUSI