Logic refinments