OIS docs changed
refactoring of ois theory done