More changes

Took out slicing notation from derivation.