I have a form where several fields have to be filled in. However, only one field is compulsory. So, I came up with the following spec:

```
 [Subject(typeof(CompanyHomeController))]
public class when_the_save_button_is_clicked
{
    private It should_verify_that_the_company_name_has_been_filled;

    private It should_show_some_text_next_to_the_company_field_if_it_has_not_been_filled;

    private It should_submit_all_the_details_on_the_form_if_there_are_no_errors;

    private It should_take_the_user_back_to_the_list_of_companies;
}

```

Now I'd like to implement this but I'm getting confused because it sounds very much like functional testing where I'd have to use something like the mvccontrib.watin dlls. Am I right that it's indeed functional testing? Have I formulated the specs "wrong" for BDD?