convenience functions updated in spec