Pilots who don't know about systems that are not documented in the manual are dummies?