Removed dependency from Logic for Propagate, it is useless actually