Van der Waals density functional: An appropriate exchange functional | Synapse