Definision
Jan_Łukasiewicz