Therefore the coincidence of validity and derivability holds only for specific well-behaved logics l...