Created propositional BubbleSort algorithm, yet to be verified