Introspection and theory