Logical principles of proclus by Lowry