Analyzing opacity with contextual faithfulness constraints. Issue 1 (20th August 2020)