finished controllers for verification