An interesting problem has been encountered.