fixing introduction of principle demonstration