A  that provides a  for  that are always and necessarily true.

Notes

Examples

Alternatives