Some simple logic on Muschamp