В чем разница между слабой и сильной справедливостью? Каким будет пример, содержащий набор переменных и набор действий?