Ready for testing, type checks