Example: FVS bound to 4J03