The wavefunction Psi for two-neutron halo nuclei is constructed by tak
ing a Hartree-Fock determinant Psi(c), for the core multiplied by a ge
neral variational wavefunction Phi for two valence neutrons, and expli
citly antisymmetrizing the product Psi(c),(1,2,..., A) Phi(A + 1, A 2) with an appropriate antisymmetrizer. The variational expression of
energy with a general many-body Hamiltonian is derived for the purpose
of minimizing with respect to the choice of Phi. As an alternative, t
he lowest-order terms in energy can be evaluated by choosing V-c as th
e solution of the presently familiar three-body model with the core-va
lence potential V-c (non-local, in general), computed from chosen Psi(
c), and including the effect of the overlap (Psi/Psi) (not equal to un
ity). The higher-order correction terms can also be computed term by t
erm with the same Phi. Numerical calculations are in progress.