Assertion for logic. Work in progress.