# Pharo-PropositionalLogic ```smalltalk Metacello new baseline: 'PropositionalLogic'; repository: 'github://shnarazk/Pharo-PropositionalLogic:main'; load ```