A take on underlying logic