refactoring
added label for proposition