sort of automatic way to find sym variables + using prove because easier