Update specs to clarify submission method & usage of TK