save just in case ~zk
finished unitProp function, haven't tested ~zk
unitprop ~zk
Merge branch 'master' of https://github.com/zikhanexe/HandSanitiser