initial rounds of boolean propegation