Adding logic problems to fa13