brakuje RICE2 i kilku ciezszych twierdzen z poczatku