Specifying instructions in more detail