Ohcanbohtosat - "bound on derivatives"