I might post it again in the context of OPS_SAT workshop results.