stronger property for specialisation