Sort:  

there is certainly a path towards proof though wouldn't you say?