Pozri ILP v AIS-e.