[ot][ot][woo][random] casting difficulties as equivalency between spirit and logic