If it takes 8 men 10 hours to build a wall, how long would it take 4 men to build the same wall?