Revision Logic view 1