selsre lujvo

x1 is an error committed by x2 under conditions x3 by standard x4