Some tmol checks