Revert "Old commit"

This reverts commit ef9ff2da0ad9e3c7c27aa379d88ded0f59b871dd.
Revert "Instrument"

This reverts commit ae9d900a3949aa3188e4a6df767418b48f768589.