oops.something not needed; still pseudocode though