changed bcsatisfy and added explanation