generated at
formal logic