Tested using phpspec