This is an short overview of the recent tendencies in the theory of linear inequalities that are evoked by Boolean valued analysis.