corrected addition rules
corrected method decide for facts