Add a theory test