Added vector-difference. WIP Simplification