Fixed assignment and loop sentences