querying improvements by changing to more explicit specifications