Pedesetih godina, bojažljivo i sporo, započinje transformacija bosanskohercegovačke umjetnosti kroz plošnost, dekorativnost i geometričnost prema apstrakciji.
Pravilo 6 ustvari eliminira apstrakciju. λx.(E1 E2) je funkcija koja prima argument, npr. a, i supstituira ga u lambda termin (E1 E2) na mjestu x, pri čemu daje (E1 E2).