Logical Analyisis