Now with some basic getters and setters