Title: Ducted fans: high efficiency with contra-rotation