Past Logic and Use Case Conferences