Reduction theorems for a conjecture on bases in source algebras of blocks of finite groups | Synapse