rename Logic as Proposition (may be useless)