Again, hypothesize only non-conflicting abdexp hyps.