Corrected LTL assertions