adding static specifications