package logic4variety