valid and efficient