Example: DCF bound to 1A4L