$ 0 0 Hello, How can I create assumptions about vector elements? It seems that my approach below is not working: