Prior Definition In Logic