default action for proof controller