y be solved when results of prop