Refactor + improve propositions#show