best_of proof of optimality
final abstract acmse 2013
tactics