now, there are a number of ways in which the frame problem can be approached and the first one was to ask the question whether we can use a different style of representation so we don't use the situation calculus but we use a different way of encoding the same knowledge in first-order logic so we keep the formalism.