Added evaluation via propagations