formatted praxis