prop#show: show related propositions and issues