instructions for running specs