New: correct processing of false statements