Added example showing dynamic fact