Skip to content

Use implies logic

Use implies logic #797