make pedantic truth-related changes
version 0.4.0