$ total logic