Original: The best known mouse species is the common house mouse ( Mus musculus ) .
Simplified: The most common mice are house mice .