The conditional Kolmogorov complexity of two strings K ( x | y ) {\displaystyle K(x|y)} is, roughly speaking, defined as the Kolmogorov complexity of x given y as an auxiliary input to the procedure.[18][19]