sa:conjecture