filtering proposition based on anyalsis (backward and forward)