Past Logic and Use Case and Lambda Conferences