fn locate_logic( db: &Database, dx: Float, bits: usize, mos: Mosaic, ) -> Result<(String, Logic), DBError>