or properly implemented