Which of the following correctly represents a test first approach?

Code is refactored first then tests are written and run

Application behaviour is written in Given/When/then format and tests are then written and run

Tests are derived from acceptance criteria and run to check that the code passes these tests

First the tests fail then the code is written to pass the tests and this is iterated