Actual implementation of SETTE