public class Identity implements DoubleTerm {
    // Identity() {}  // Java adds this one
    public double value(double a) { return a; }
}