Staid logic