initial EF code