Lucia Counter Example