Theory of computation: grammar

Find grammars for sigma = {a, b} that generate the sets of all strings with exactly two a's. all strings with at least two a's. all strings with no more than three as. all strings with at least three as. all strings that start with a and end with b. all strings with an even number of b's. In each case, give convincing arguments that the grammar you give does indeed generate the indicated language