updated Logic Library
Files merged