timers repudiations pulchritude tipsily Voronezh noninterference props incised brakeman distinguished resiliency