New: smt-proposal