fixed lookahead because auf failure
added truthvalues