specify types directly in the test, write todo for reading properties