added plot functions for formality