Weak implication computation as R script. Not module or computer object.