First version: SA implemented (working for MIN(generic functions))