Local orthogonality provides a tight upper bound for Hardy's nonlocality | Synapse