Nota: $PUMP sarà quotato il 12 luglio. Non parteciperò al trambusto dell'apertura, né cercherò di indovinare se si inizia a pompare direttamente o se prima si tira su e poi si pompa, comunque bisogna pompare. Se ci sarà un'opportunità in seguito, sarà più sicuro fare un rimbalzo dopo il pompaggio.