Reimplement tools' specs