Try not to overspecify