Edited proof commands