Logical Definition