Implemented for index loop
throws not implemented to specification stm