more Logic