Finished olegs assumptions, certificate, checking. Not general, needs polishing.