Logical analysis thanks