Simplify to readers
remove V of portuguese Verdade that is equals as english True
Add universal quantification but it needs a better way