When a person alternately tenses their major muscles and then releases that tension is a process used in
a) progressive relaxation
b) aerobic exercise
c) behavioral modification
d) aversion therapy