Utility function for nicer specification