Please move the `Theory` attr to the top for consistency.